cmeditor={
	changeTheme : function(editor, themename) {
		editor.setOption("theme",themename);
	},
	switchGutter: function(editor, bv) {
		editor.setOption("lineNumbers", bv);
	}
};